Nuprl Definition : mapfilter 11,40
mapfilter(f; P; L) == map(f; filter(P; L)) 
latex

Definitionsmap(f; as), filter(P; l)
FDL editor aliasesmapfilter

origin